$\forall$${\it es}$:ES, $i$:Id, $s$:state@$i$, $x$:Id. $s$.$x$ $\in$ vartype($i$;$x$)